[IA64] Fix Alt DTLB error message

Signed-off-by: Tetsu Yamamoto <yamamoto.tetsu@jp.fujitsu.com>

diff --git a/xen/arch/ia64/xen/process.c b/xen/arch/ia64/xen/process.c
index e37f9e6ae660bf9be03e3bc643d5c3f21a2fbca1..e5dca12252bab11433a508aa1a6bc71bd6e6ba18 100644 (file)
--- a/xen/arch/ia64/xen/process.c
+++ b/xen/arch/ia64/xen/process.c
@@ -388,7 +388,7 @@ ia64_fault (unsigned long vector, unsigned long isr, unsigned long ifa,
                break;
          
            case 4:
-               printk("Alt ITLB.\n");
+               printk("Alt DTLB.\n");
                break;
          
            case 6: